翻訳と辞書 Words near each other ・ Descontrol ・ Descoreba ・ Descort ・ Descoware ・ Descramble ・ DeScribe ・ Described and Captioned Media Program ・ Describing function ・ Description ・ Description (disambiguation) ・ Description de l'Égypte ・ Description de l'Égypte (disambiguation) ・ Description Definition Language ・ Description error ・ Description language ・ Description logic ・ Description number ・ Description of a Struggle ・ Description of a Struggle (collection) ・ Description of Africa ・ Description of Africa (1550 book) ・ Description of Africa (1668 book) ・ Description of the Kingdom of Georgia ・ Description of the Medieval Warm Period and Little Ice Age in IPCC reports ・ Description of the Western Isles of Scotland ・ Description-experience gap ・ Descriptional Complexity of Formal Systems ・ Descriptions automatiques ・ Descriptions des Arts et Métiers ・ Descriptions of the Jyllands-Posten Muhammad cartoons Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Description logic ： ウィキペディア英語版 Description logic Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order predicate logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain (known as ''terminological knowledge''). It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: the Web Ontology Language () and its profile is based on DLs. The most notable application of DLs and OWL is in biomedical informatics where DL assists in the codification of biomedical knowledge. == Introduction == A Description Logic (DL) models ''concepts'', ''roles'' and ''individuals'', and their relationships. The fundamental modeling concept of a DL is the ''axiom'' - a logical statement relating roles and/or concepts. This is a key difference from the frames paradigm where a ''frame specification'' declares and completely defines a class.〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Description logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.